$\forall$$x$, $y$:Atom. ($x$ =a $y$ = ff $\in$ $\mathbb{B}$) $\Rightarrow$ ($\neg$($x$ = $y$))